-
1 conditional implication operation
Большой англо-русский и русско-английский словарь > conditional implication operation
-
2 conditional implication operation
Вычислительная техника: операция условной импликацииУниверсальный англо-русский словарь > conditional implication operation
-
3 conditional implication operation
English-Russian dictionary of computer science and programming > conditional implication operation
-
4 operation
1) операция; действие2) работа; функционирование4) срабатывание ( прибора)5) редк. управление•- arithmetic operation
- array operation
- asynchronous operation
- atomic operation
- attend operation
- autohorized operation
- auto-parallel operation
- auto-serial operation
- auxiliary operation
- average calculating operation
- average calculation operation
- background operation
- battery operation
- biconditional operation
- bidirectional operation
- binary operation
- bitwise operation
- bit operation
- bookkeeping operation
- Boolean add operation
- Boolean operation
- both-way operation
- branch operation
- byte operation
- byte/word operations
- byte-write operation
- carry clearing operation
- checkpointing operation
- clerical operation
- collation operation
- combination operation
- combined operation
- comparison operation
- complementary operation
- complete operation
- compound operation
- computer operation
- concurrent operation
- conditional implication operation
- conditional operation
- conjunction operation
- consecutive operation
- consistency operation
- control operation
- control transfer operation
- conversational mode operation
- conversational operation
- corner-turning operation
- cumulative operation
- dagger operation
- data processing operation
- database operation
- declarative operation
- decoded operation
- device-dependent operation
- digit-to-digit operation
- digtiwise operation
- disjunction operation
- do-nothing operation
- don't care operation
- double-address operation
- double-length operation
- double-precision operation
- down operation
- drag and drop operation
- dual operation
- duplex operation
- dyadic operation
- either way operation
- EITHER-OR operation
- equality operation
- equivalence operation
- error-free operation
- except operation
- exchange operation
- exclusive OR operation
- fade operation
- fail-safe operation
- fail-soft operation
- fast rewind operation
- fixed-cycle operation
- fixedcycle operation
- fixed-point operation
- floating-point operation
- flow of control operation
- foreground operation
- full-duplex operation
- graft operation
- grouped operation
- half-duplex operation
- handshaked operation
- hands-on operation
- high-gain operation
- high-speed operation
- housekeeping operation
- I/O operations
- identity operation
- IF-AND-ONLY-IF operation
- IF-THEN operation
- illegal operation
- immediate operation
- implication operation
- inclusive OR operation
- inference operation
- input operation
- input/output operations
- integer operation
- interframe operation
- interlaced operations
- interleaving operations
- irreversible operation
- iterative operation
- jump operation
- keystroke operation
- large-signal operation
- link-following operation
- loading operation
- logical operation
- look-up operation
- loop operation
- low-level signal operation
- machine operation
- main operation
- majority operation
- make-break operation
- manual operation
- marginal operation
- marking operation
- master-slave operation
- match operation
- match-merge operation
- matrix operation
- meet operation
- mismatch operation
- monadic operation
- monitor-controlled operation
- move operation
- multibyte operation
- multidimensional operation
- multijob operation
- multiple operations
- multiple-computer operation
- multiple-processor operation
- multiple-shift operation
- multiple-word operation
- multiplex operation
- multiplexed operations
- multiply-accumulate operation
- multitask operation
- multitrack operation
- N-adic operation
- naming operation
- NAND operation
- N-ary operation
- nearest-value operation
- neighborhood operation
- NEITHER-NOR operation
- next higher retrieval operation
- next lower retrieval operation
- no operation
- no-failure operation
- nonarithmetical operation
- nonconjunction operation
- nondata operation
- nondisjunction operation
- nonequivalence operation
- nonidentity operation
- nonprimitive operation
- NOR operation
- NOT AND operation
- NOT BOTH operation
- NOT operation
- NOT-IF-THEN operation
- NOT-OR operation
- nullary operation
- off-line operation
- one-pass operation
- one-shot operation
- one-step operation
- one-way operation
- on-going operations
- on-line operation
- OR operation
- output operation
- overhead operation
- P operation
- packet-mode operation
- parallel operation
- parallel-parallel operation
- parallel-serial operation
- part-word operation
- paste operation
- peripheral operation
- pipeline operation
- pixel-level operation
- pointer operation
- polar operation
- primitive operation
- privileged operation
- prune operation
- pseudo off-line operation
- pulsed operation
- quarternary operation
- queue operation
- real operation
- real-time operation
- record-at-a-time operation
- red-tape operation
- reductive operation
- refinement operation
- register operation
- relational algebraic operation
- relational join operation
- remote operation
- repetitive operation
- retrieval operation
- rewind operation
- RMW operation
- scalar operation
- scale operation
- scanning operation
- scatter-write operation
- scheduled operation
- screening operation
- search operation
- sensing operation
- sensory operation
- sequential operation
- serial digit operation
- serial operation
- serial word operation
- serial-parallel operation
- serial-serial operation
- set operation
- set-at-a-time operation
- Sheffer-stroke operation
- shift operation
- simplex operation
- simultaneous operation
- single operation
- single-program operation
- single-shot operation
- single-step operation
- single-task operation
- slave operation
- small-signal operation
- split-word operation
- stable operation
- stack operation
- stacked job operation
- standard operation
- start-stop operation
- step-and-repeat operations
- step-by-step operation
- storage operation
- streaming operation
- string operation
- synchronous operation
- takedown operation
- team operation
- threshold operation
- time-consuming operation
- time-sharing operation
- transfer operation
- transmit operation
- triggerable operation
- Turing elementary operation
- two-way alternative operation
- two-way-simultaneous operation
- unary operation
- unattended operation
- unauthorized operation
- union operation
- unloading operation
- up operation
- V operation
- variable-cycle operation
- variable-length operation
- vector operation
- word operation
- write operation
- write-on match operation
- write-while read operation
- yes-no operationEnglish-Russian dictionary of computer science and programming > operation
-
5 implication
1) импликациябинарная логическая операция, принимающая значение "ложь" только если первый аргумент истинен, а второй - ложен (т. е. операция некоммутативна); соответствует условному высказыванию (conditional statement), поэтому иногда её называют условной связкой.Syn:2) следствие; вывод; следованиесм. тж. consequenceАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > implication
-
6 операция условной импликации
Большой англо-русский и русско-английский словарь > операция условной импликации
См. также в других словарях:
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
Indicative conditional — In natural languages, an indicative conditional is the logical operation given by statements of the form If A then B . Unlike the material conditional, an indicative conditional does not have a stipulated definition. The philosophical literature… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Truth table — A truth table is a mathematical table used in logic specifically in connection with Boolean algebra, boolean functions, and propositional calculus to compute the functional values of logical expressions on each of their functional arguments, that … Wikipedia
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
History of logic — Philosophy ( … Wikipedia
United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… … Universalium
animal learning — ▪ zoology Introduction the alternation of behaviour as a result of individual experience. When an organism can perceive and change its behaviour, it is said to learn. That animals can learn seems to go without saying. The cat that… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium